#include <stdio.h>
#include "lib3.h"

void lib3(void) {
    puts("lib3");
}
